#include <stdlib.h>
#include "lib3/lib3.h"

int main(void) {
  int A[10];
  for (int i = 0; i < 10; ++i) A[i] = rand();
  print_max_int(A, 10);
  return 0;
}

